# -*- mode: snippet -*-
# name: Solve Obligations
# key: oblssolve
# uuid: oblssolve
# --
Solve Obligations using $1.
